Nuprl Definition : minus def 9,38

-n is Primitive 
latex


origin